Formalization of techniques: chopping down the methodology jungle

tion of techniques: chopping down the methodology jungle. Abstract In this article we discuss formalisation of techniques in the context of Information System Development methodologies. When such methodologies are developed, the primary goal is applicability. After the methodology has proven itself in practice, the methodology will be applied in more sophisticated situations, pushing the methodology to its limits. In those cases, informal deenitions are known to be inappropriate. We will go into some typical problems. After that, we describe a procedure for proper formalisation. The Predicator Model ((3] and 24]) is presented as an extended example. Finally, we describe some experiences with this approach to formalisation.